Experimenting with Nonmonotonic Reasoning
نویسندگان
چکیده
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theories and logic programs. It has an identiication system for generated theories, which allows us to reconstruct a logic program or a default theory from its identiier. Hence, exchanging test cases requires only exchanging identiiers. TheoryBase can generate a large variety of examples of default theories and logic programs. We believe that its universal adoption may signiicantly advance experimental studies of nonmonotonic reasoning systems.
منابع مشابه
A Compositional Reasoning System for Executing Nonmonotonic Theories of Reasoning
An agent that is reasoning about the world often needs to draw (defeasible) conclusions that are not logically entailed by its (incomplete) knowledge about the world. Nonmonotonic reasoning systems can be used to model these reasoning patterns. Implementations of agents that can reason in a defeasible manner need to include an implemented nonmonotonic reasoning system. In different applications...
متن کاملLogic in Nonmonotonic Reasoning
We present a conceptual description of nonmonotonic formalisms as essentially two-layered reasoning systems consisting of a monotonic logical system, coupled with a mechanism of a reasoned choice of default assumptions. On this ‘surgery’, the main features of a nonmonotonic formalism are determined by the interplay between its logical basis and the nonmonotonic overhead. Furthermore, it allows ...
متن کاملExtending Prolog with Nonmonotonic Reasoning
Nonmonotonic reasoning has been developed to capture common sense inferences. This paper considers nonmonotonic reasoning in logic programs with negation { its implementation using Prolog and its integration with Prolog execution. Even within logic programming frameworks, a variety of inferencing methods, model-theoretic semantics, and language features have been proposed for diierent forms of ...
متن کاملNonmonotonic Reasoning in Probabilistics
In probabilistics reasoning at optimum entropy ME reasoning has proved to be a most sound and consistent method for inference This paper investigates its properties in the framework of nonmonotonic reasoning In particular we show that ME reasoning satis es cumulativity and loop and we focus on its connection to conditionals Finally we intro duce the notion of a universal inference operation to ...
متن کاملInfluencing nonmonotonic reasoning by modifier strength manipulation
Despite the current belief that much common sense reasoning is nonmonotonic in nature, research indicates that only a limited percentage of people are good at nonmonotonic reasoning. Good nonmonotonic reasoners recognize the logical strengths and weaknesses of some arguments. In the present study, we focus on differences in the probabilistic interpretation of the modifiers typically and usually...
متن کامل